Comparison of Coverability and Multi-Scale Coverability in One and Two Dimensions

نویسندگان

  • Guilhem Gamard
  • Gwénaël Richomme
چکیده

A word is quasiperiodic (or coverable) if it can be covered with occurrences of another finite word, called its quasiperiod. A word is multi-scale quasiperiodic (or multi-scale coverable) if it has infinitely many different quasiperiods. These notions were previously studied in the domains of text algorithms and combinatorics of right infinite words. We extend them to infinite pictures (two-dimensional words). Then we compare the regularity properties (uniform recurrence, uniform frequencies, topological entropy) of quasiperiodicity with multi-scale quasiperiodicity, and we also compare each of them with its one-dimensional counterpart. We also study which properties of quasiperiods enforce properties on the quasiperiodic words.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Expression Coverability Analysis: Improving code coverage with model checking

Code coverage analysis provides metrics to quantify the degree of verification completeness. It also allows the designer to identify possible bugs or redundant code thus speeding verification. Many verification engineers report that the most time consuming area of code coverage analysis is the identification and documentation of intrinsically uncoverable expression cases. With manual inspection...

متن کامل

Improvements in Coverability Analysis

In simulation-based verification users are faced with the challenge of maximizing test coverage while minimizing testing costs. Sophisticated techniques are used to generate clever test cases and to determine the quality attained by the tests. The latter activity, which is essential for locating areas of the design that need to have more tests, is called test coverage analysis. We have previous...

متن کامل

A Petri-net and QoS Based Model for Automatic Web Service Composition

Web services are widely used because of their features of interoperability, loose-coupled and platform independent. Web services composition is one of the most popular topics in service computing area. In this paper a method based on Petri net coverability problem and utility of Web services is proposed to handle automatic service composition. The former is for satisfying functional requirement...

متن کامل

CoVer-ability: Consistent Versioning for Concurrent Objects

An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we call coverability, that aims to provide precise guarantees on the consistent evolution of an object. This new property is suitable for a variety of distributed objects including concurrent file objects that demand op...

متن کامل

Fine Covers of a VAS Language

In recent years much attention has been paid to parallelism and concurrent systems. Petri nets are a formalism which is commonly used for these studies [8]. The theory of Petri nets can be described in the mathematical frame of vector addition systems (VAS). Although these two approaches are equivalent, we formulate our results here in the VAS formalism. Karp and Miller provided in [5] a tool w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1506.08375  شماره 

صفحات  -

تاریخ انتشار 2015